21. Automated Deduction – CADE-25
المؤلف: \ Amy P. Felty , Aart Middeldorp (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,منطق ریاضی-- کنگره‌ها
رده :
QA
76
.
9
.
A96
2015
E-Book
,
22. Between Logic and Reality
المؤلف: / Majda Trobok, Nenad Miscevic, Berislav Zarnic, editors
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic,Reality,منطق,واقعیت
رده :
BC199
.
R43
,
B48
2012
23. Boethius on Mind, Grammar, and Logic
المؤلف: / by Taki Suto
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Boethius, d. 524., Commentarii in librum Aristotelis Peri hermeneias,Aristotle,Language and languages -- Philosophy,Logic, Ancient,.بوئتیوس، - ۵۲۴ م,.ارسطو،۳۲۲ - ۳۸۴ ق.م,زبان -- فلسفه,منطق -- متون قدیمی تا قرن۱۴
رده :
B439
.
B643
,
S88
2012
24. Classical Indian Philosophy of Induction
المؤلف: \ Kisor Kumar Chakrabarti.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Nyaya,نیایا,a04,a04,Induction (Logic)-- India-- History.,استقرا (منطق) -- هند -- تاریخ
رده :
BC
91
.
C46C55
2010
E-Book
,
25. Computability: Computable Functions, Logic, And The Foundations Of Mathematics
المؤلف: \ Richard L. Epstein, Walter A. Carnielli
المکتبة: (طهران)
موضوع: توابع محاسبه‌پذیر,منطق ریاضی,Computable functions, Logic, Symbolic and mathematical
رده :
QA
9
,.
59
.
E67
26. Computer Science Logic
المؤلف:
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer logic -- Congresses,منطق کامپیوتری -- کنگره‌ها
رده :
E-Book
,
27. Conception and belief in Sadr al - Din Shirazi (ca 1571-1635)
المؤلف: لام‍ی‍ر
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Sadraddin Shirazi,صدرالدین شیرازی,, Mohammad ebn Ebrahim,، محمدبن ابراهیم,، ۹۷۹ - ۱۰۵۰ق., -- Criticism and interpretation, -- نقد و تفسیر,a01,a01,ba,Representation (philosophy),Judgment (logic),Philosophy, Islamic,تصور (فلسفه),تصدیق (منطق),فلسفه اسلامی, -- Early works to 20th century, -- متون قدیمی تا قرن ۱۴,a04,a06,a08,a04,a06,a08
رده :
BBR1070
.
L32
C6
28. Conceptual Graphs and Fuzzy Logic
المؤلف: \ Tru Hoang Cao.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Fuzzy logic,منطق فازی,a05,a05,Fuzzy graphs.,Conceptual structures (Information theory),گراف‌های فازی ,ساختارهای مفهومی (نظریه اطلاعات)
رده :
QA
166
.
175
.
C32C6
2010
E-Book
,
29. Conditionals and Modularity in General Logics
المؤلف: / Dov M. Gabbay, Karl Schlechta
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Conditionals (Logic),Modality (Logic),استلزام (منطق),منطق موجهات
رده :
BC199
.
C56
,
G32
2011
30. Critical Thinking
المؤلف: / Jamie Carlin Watson and Robert Arp
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Reasoning,Critical thinking,Logic,استدلال,تفکر انتقادی,منطق
رده :
BC177
.
W3C5
2011
31. Critique de la Faculte de Juger : Suivi de Idee D'une Histoire Universelle Au Point de Vue Cosmopolitique et de Reponse a la Question : Qu'est-Ce Que les Iumieres ?
المؤلف: / Emmanuel Kant
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Judgment (Logic),تصدیق (منطق )
رده :
B2773
.
K3C7
2011
32. Deductive and Inductive Logic
المؤلف: / edited by Asia Whitcomb
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic,Logic, Modern - 21st century,منطق,.منطق جدید - قرن۲۱ م
رده :
BC75
.
D31
2010
33. Dependence Logic
المؤلف: / Jouko Veaeaneanen
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: First-order logic,نخستین دستور منطق
رده :
BC128
.
V33
2007
34. Discovering Patterns in Mathematics and Poetry
المؤلف: \ Marcia Birken and Anne C. Coon
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics and literature,Logic, Symbolic and mathematical,Word problems (Mathematics),منطق ریاضی,مساله واژه (ریاضیات)
رده :
E-Book
,
35. Donald Davidson's Truth-Theoretic Semantics
المؤلف: / Ernest Lepore, Kirk Ludwig
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Davidson, Donald, 1917-2003,Semantics (Philosophy),Language and logic,.دیویدسن، دونالد، ۲۰۰۳ - ۱۹۱۷ م,معنی‌شناسی( فلسفه),زبان و منطق
رده :
B945
.
D3L4
2009
36. Elements of Logical Reasoning
المؤلف: / Jan von Plato
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق
رده :
QA9
.
V66
2013
37. Encyclopedia of the Philosophical Sciences in Basic Outline.
المؤلف: \ Georg Wilhelm Friedrich Hegel; translated and edited by edited by Klaus Brinkmann and Daniel O. Dahlstrom.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic.,منطق
رده :
B2918
.
E5H37
2010
38. Encyclopedia of the Philosophical Sciences in Basic Outline
المؤلف: / Georg Wilhelm Friedrich Hegel
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic,منطق
رده :
B2918
.
E5
,
H373
2010
R
39. Fields of Logic and Computation II
المؤلف: \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering,نرم‌افزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
9
.
L63
F54
2015
E-Book
,
40. Following the Rules
المؤلف: \ Joseph Heath.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Deontic logic.,Practical reason.,Ethics.,Duty.,منطق تکلیف ,عقل عملی ,اخلاق,وظیفه
رده :
BC145
.
H43F6
2008
